\begin{tabbing}
MaInterface($T$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$i$:Id fp$\rightarrow$\+
\\[0ex]${\it ds}$:$x$:Id fp$\rightarrow$ Type $\times$ $k$:\{$k$:Knd$\mid$ $\uparrow$hasloc($k$;$i$)\}  fp$\rightarrow$ $V$:Type $\times$ (State(${\it ds}$)$\rightarrow$$V$$\rightarrow$($T$ + Top))
\-
\end{tabbing}